Implication Details

Assumptions: quotients of congruences, self-dual

Conclusions: coquotients of cocongruences

Reason: This holds by self-duality.